Stichworte: Realistic implication